size(k;f) == primrec(k;0;n,m. if f(n) 1 else 0 fi+m) 

latex

Definitions	primrec(n;b;c), x.A(x), n+m, if b t else f fi, f(a), #$n
FDL editor aliases	bool-size